Move tutorial compilation instructions to developers guide.
Currently the User Guide includes instructions for building the tutorials. This is usually unnecessary for most users (as they are downloadable from the website). Consequently, it causes people trouble. Therefore moving these instructions (sections 1.4 and 1.5) to the developers guide would avoid this.