Improvements to the user guide.

- Clearer explanation of the packages to install in Linux.

- Small formatting fix.