Switch to an auto-maintained ToME Git repo.

This is instead of requiring the developer to manually copy over ToME's
files and should simplify switching between release and development
versions.