pdfcomment.module and PDF-comment.lyx: some minor tweaks

- use a uniform naming scheme and a style fix as discussed
Merge remote-tracking branch 'github/build-bot-master' into bleeding-edge-master
2014.11.03-23.00