Add spec for the 'Cancel meeting' feature

Following the comments in #2, here's the specification of feature `M4`.
Note that this means that the system needs to keep track of cancelled prospective meetings, in order to avoid assigning the same host to the new meeting.