Fixed a slightly better mechanism for the 'extern "C"' stuff.
Use proper © signs.
More work going through the old storm codebase and ensuring all files have up-to-date headers.
Added a NORETURN define and use it + a C_EXTERN also.
Converted to proper C++ style.
Obviously, we cannot raise an error just because the header file is used in non-C++ mode… :)
Merge commit '71b454e0d30623198837e07e3db9f826a8a18c36'
Define a new UNUSED keyword, for easier usage of the attribute.
Updated ignore list since it was a bit too aggressive. Why couldn't the git guys just have used regexps like everyone else… :)
More work on #2. Only a few header files now remaining to be fixed in include/storm/generic. Of course lots of files left elsewhere, but we're getting there, slowly and steadily...