A Pygments lexer for the PVS language