rej14: Fix errors found with Jennifer

 * Add fs initial label to DefinePolicies
 * Put AnotherServer into a may decision
 * Delete obsolete files
rej14: Rerun certainF-1
rej14: Rerun uncertainF-1
rej14: Add an additional model constraint as optional input
decision_points: Add support for empty may alternatives

 * == add support for the vocabulary of the may decision
rej14: Rerun uncertainB-1
bug: Fix windows bugs

 * Remove unused src directory in mavo project
 * Fix new line detection for smt nodes and edges on windows
rej14: Fix null pointer when generating concretization string
rej14: Minor change in fase operator

 * Include dependers/dependees connected with empty actors in the rnf
 * Regen encodings due to ordered set change in mavo decisions
rej14: Concretization iteration is working, results need to be checked
rej14: Re-enable doRNF call commented out by mistake
rej14: Be more informative for var element distinct clauses
rej14: Better (maybe) concretization negation when iterating
operator: Read updateMid and subdir input properties in OperatorImpl
rej14: Fix rnf bugs (to be completed)

 * Add flag to skip it
 * Remove M-V elements from list of mavo elements
Merge branch 'master' of https://github.com/adisandro/MMINT into decision_points