removed options and mappings from view saving. Was causing problems with mapping being defined over each other
now that we dont have views interfering with mappings, coq settings are back on track