Version 0.3.3 (patch to fix compilation problems)

The previous commit broke compilation of the pdfs by including
the same source into several documents. This commit undoes that
problem by changing 'include' to 'input'.  (This was a problem
when running parallel make).