Add command line options to the documentation

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