(C-Backend): Adding transforms
(Backends) Rename option 'profile' to 'inline' so as to make it more understandable, and add a sub-option to not inline the actions to analyze the cost of the action scheduling.
(Promela) Improved schedule search strategies, bug fixes
Merge branch 'master' into mapping

Conflicts:
	eclipse/plugins/net.sf.orcc.backends/src/net/sf/orcc/backends/transform/InlinerByAnnotation.java