Tiny change import_tex.py

Don't print the message about proofs except for labels/tags
corresponding to environments which have proofs.