Fix messed formatting in build documentation

@danimo I mistakenly used github-like formatting (which looked very good in github preview) and messed up the build documentation. I am very sorry for that :-(