Add user manual pdf

The manual source where already there, but the final pdf file was not
present earlier.