Added documentation with an explanation on how to compile
Merge remote-tracking branch 'github/master' into github-master