Merge install pages into installation.md

[zuiderkwast]

The various pages (install for mac os, window, etc.) with very little content and much duplicated information are merged into one.