Account on abbot

Dear Paul Could you please give Nicolas Frisby an account on abbot, so he can commit to GHC? He'll send you his ssh public key. (Ian, is that all we need to let Nick commit?) Many thanks Simon