Simplify Cancel usage in Workflows

[csrocha]

Add the cancel state to state machines made diagrams difficult to read. This issue require to not use Cancel state, but use two new stereotypes: <> <<back_from_cancel>>.

cancellable: states with this stereotype can be cancellable.
back_from_cancel: when an instance is in cancel state, you can back to this state.