Incorporated distinction between original and final envelope recipient in Sieve interpreter, as recently introduced in Dovecot.

Major rework of envelope address handling: a normalized version of the envelope addresses is maintained in the message context and message context is now also available during action execution.

Body: added test regarding empty bodies and fixed testsuite to flush the message context when the message is changed.