Make sure following the documentation under Ubuntu 14.04 works and clarify some things. Fixes #159.