Use abstract syntax tree to "simulate" mail sorting

The idea is that we could pass an e-mail message to check-sieve, and walk over the AST, generating a list of actions we would have taken. This would allow true testing of the logic of a mail sieve script.
