Rebase and squash repo heavily before making public

[sebastian]

As discussed with @aleicher.

• Squash and make history look nice
• Make a new repo to avoid stuff remaining (like this issue for example)