rename Otr.RandMonad to Otr.Monad
move OtrT to Otr.Monad
incremental changes
update to recent crypto* versions
fix warnings (except some top level types)