ifind: When invoking mplayer, create a playlist for nicer exit behaviour.
sendmail: Use a multipart message in movement towards supporting attachments.
sendmail: Support attachments.
Merge branch 'master' of github.com:Smattr/mattutils
vim syntax: Update Isabelle keywords.