Source code moved 2019-02-19 The source code moved to git.marlam.de, see the updated download instructions.