Reintroduces nofunctions option mentioned in the manual that got somehow lost
Merge pull request #467 from JohannesPfeifer/nonfunctions

Reintroduces nofunctions option mentioned in the manual 'do not print reduced form solution).