properly escape all @Encrypt annotations in PHPdocs.

closes #14