Move development to DICE github

[ToFeWe]

Should be moved to our new GitHub org and made public upon revisions I guess?

[LeonHeidelbach]

Agreed. I think we can polish up the documentation a little but afterwards I'd suggest we push a clean working directory to the org.