Add command line options to the documentation

Signed-off-by: Andrea Grandi <a.grandi@gmail.com>
Merge branch 'andreagrandi-patch-1'

Closes #570.