Terminated processes and linking

[berpeti]

Terminated processes only emit exit signals in the current formalisation; however, they should react to attempts of linking (to them). This improvement has to be done so that it is compatible with the new linking protocol of Erlang (#42).