ProofMode intro patterns: accept _ as part of variable names

Merged Ralf Jung requested to merge ralf/underscore into master

@robbertkrebbers beat this. ;)

Merge request reports