add preference page for safety; mainly for NuSMV(set the path of NuSMV)