Switch to Mojang's LevelDB fork; added Ant buildscripts