generates a package for the documentation

the documentation can be hard to build because pandoc is not always packaged.
This is the case with homebrew.
With that new package, the documentation can be simply copied without requiring
to install pandoc.
fix doc package name
fix --inputs behavior

don't read stdin when using --inputs
use getline instead of operator>> to support spaces in file names
don't check fail flag when there is nothing left to read - it is set by getline/operator>>
check --inputs behavior in a test
include the last changes in the documentation
use git when possible to avoid putting the files not in the repository in the source package
remove the debian dir - the debian packaging is now done in the debian branch
update version to 1.2.1
Added check of braces for the else/else if statements.
Updated unit test with new use cases.
Merge branch 'maint' into debian