Don't trim the whitespace from antiquote content

Trimming the whitespace makes it much harder to map Coq error ranges to
Eclipse text ranges
Bumped the version number to 0.0.5