Shrink repository / remove *.jar *.apk bin/*

[Philzen]

With the github release page providing file downloads and now being completely set up, the repository can be cleaned of any *.jar, *.apk or files that were committed in the past to ./bin or /private.

[Philzen]

Tried removing with bfg as recommended in https://help.github.com/articles/remove-sensitive-data, but could not push the repacked repository for unknown reasons.

Other approaches:

• using git filter-branch as also described on the github page linked above
• using git rebase