Added a docs section on Linux installation

This simply adds a short paragraph on what dependencies are needed on
Linux, as well as the command line to install them on Ubuntu (since
users of other distributions are more likely to know how to do it).