Repo clean-up

[jackfoxy]

I'm looking to clean the repo of unnecessary branches;

Please let me know if any of these branches are still useful. Better yet, submit a PR if they are. Otherwise, consider deleting them.

@forki
docs Latest commit 8e05fdc on Apr 29 2016
forki-patch-1 Latest commit 52ad71e on Apr 27 2015
paket Latest commit 88ba4f5 on Aug 8 2014

@dsyme
dsyme-patch-1 Latest commit c4b0bf0 on Apr 6 2015
dsyme-patch-2 Latest commit b6c271e on Dec 15 2015
dsyme-patch-3 Latest commit 190c305 on Jun 7 2017
dsyme-patch-4 Latest commit 905c249 on Jun 8 2017
dsyme-patch-5 Latest commit f78c004 on Jun 12 2017
fix Latest commit 8be09cb on Jun 8 2017
fixes Latest commit 009931b on Jun 7 2017
sl Latest commit 8b61f72 on Jun 9 2017

@pblasucci
init-git Latest commit 54973c4 on Jul 29 2015

@tpetricek
revert-116-multiproject Latest commit 5c66713 on Apr 4 2015