clarify camlp4 vs camlp5

Closes #103.