make pagestyle in LaTeX output configurable
Merge pull request #45 from SemanticsOS/lambdafu/pagestyle

make pagestyle in LaTeX output configurable