Fix minor bug in sync_memberships_with_github methods
Refactor hook form, introduce CodeMirror to ease scripts editing