Remove space in ident

fix issue #377 (closed)

Changes are:

• change prefix "mk " into suffix "'mk"
• change prefix "VC " into suffix "'VC"
• suffix "_spec" becomes suffix "'spec"
• suffix "_def" becomes suffix "'def"
• update session (in particular those containing bisection) with the right idents
• Update realizations accodingly