Resolve "Add benchmark from NFM paper by Fink, Berger, Katoen"

This aims to add the benchmark tasks from the NFM paper by Fink, Berger, Katoen. It currently adds a new subcategory called ReachSafety-Hardness.set, as I could not decide what existing category would fit best. I will push an update once this is decided.

• programs added to new and appropriately named directory

• license present and acceptable (in machine-readable comment at beginning of program as specified by the REUSE project)

• contributed-by present (either in README file or as comment at beginning of program)

• programs added to a .set file of an existing category, or new sub-category established (if justified)

• suggest to add it to benchmark definitions (.XML) in repositories for benchmark-definitions

• intended property matches the corresponding .prp file

• programs and expected answer added to a .yml file according to task definitions

• data model present in task-definition file
• original (ideally not preprocessed) sources present
• preprocessed files present
• preprocessed files generated with correct architecture
• Makefile added with correct content and without overly broad suppression of warnings

Closes #1334 (closed)