Miscellaneous pylint fixes.

vmtranslator/**.py
	-Miscellaneous fixes to silence `pylint` complaints: change
	variable names, add missing docstrings, etc.