Heptapod fedeproxy counterpart

A mirror of the server code was setup and the CI disabled to not consume resources needlessly (it fails anyway because docker is needed).