inferno-ds has Moved!

This project has moved to a new location on the internet. Its new home is at:

https://bitbucket.org/mjl/inferno-ds