Prettified CSS and Javascript, rearrange handlers.
style improvements
Incoming mail: don't panic on wrong address

Instead, if we have no user for a given To address, we simply
don't encrypt that mail.

For now, store it for easier debugging.

Eventually, we will probably change it to drop such mail.

(The SMTP server already notifies senders if the recipient
address is not found.)