Source archive at github

Since the sourceforge repository currently just vanished, I’m storing the source at github too.