Making generation of man and pdf formats in Getting Started guide optional, use -Dfast to generate only xhtml