Development build

This is an automatic build of the latest version from head of git, for development and testing only --- it's passed the tests but no human has checked to make sure it works properly. Don't download this unless you know what you're doing!