Added an option to specify location of src executable. Added option to disable identifier highlighting.