patch to call the external tool with arguments that contain spaces

Preference page for NuSMV3 integration is now available in two pages for
OCRA and xSAP