Remove branches from repo that are no longer needed

[karottenreibe]

I think we have a lot of branches that are simply left over (i.e. weren't deleted after merging). We should remove anything non-essential

[DreierF]

Done