4.01.0beta1: -no-camlp4

For the few of us using low-memory computers with slow CPUs (i.e. people using EeePCs).
Since the option is available, might as well use it.