Move GödelGod to a separate repository

The new repository is at: https://github.com/FormalTheology/GoedelGod