Use "rm -f" instead of "rm" for gcc profiling hack in Makefile

In some UNIX systems "rm" prompts user for confirmation.
However "rm -f" is always a guaranteed forced deletion.

Also move gcc profiling hack under the correct target

No Functional change

Resolves #168
Prefer names to numbers in storm code

Also replaces some tabs with spaces and
change StormDanger order to reflect
ShelterWeakness one.

No functional change.
Merge branch 'master' into imbalance_tuning