Fix "ant dist" build script
Fix failing unit test
Version 13.05
Change source repository to point to GitHub
Change version number to 13.05dev