Minor changes to INSTALL documentation (fix smart quotes, etc.)

Fixed a bug in argument_preprocessor.py when it encounters a file that cannot be encoded into ASCII.

Replaced deprecated apt_inst method in deb_triggers.

Added the --enable-kvm switch to vm_launcher