Remove the user manual PDF, and link the online documentation instead

The PDF is somehow old, and also (to be honest) not so good looking and difficult to use.
The online documentation, on the other hand, it easy to update (the PDF is not simple upgradeable) and far easier to use, apart from being nicer.

Please consider a merge :)