`venus-` prefix in annotations is now optional.

`@venus-code foo.js` is equivalent to `@code foo.js`.
WIP