Documentation:
Added section about machine files in cmake/machines