deploy on every merge

[tharvik]

currently, the deployed server & webapp are quite old (~7 months). per monday discussion, let's move to have rolling releases

• merge separated "production" & "development" branches into a single "main" branch
  • rename all references to old branches in doc & GA workflows
  • would need access to repo settings or sync w/ someone having it
• auto-publish server to docker hub github pkgs
  • greatly simplify usage by providing an already built image of the server
  • do we have an account there already?
• auto-publish packages to NPM
  • as patch version with date on dev tag
  • would be nice to happen after reworks packages names #621
  • would need access to NPM's @epfml orga or sync w/ someone having it
• auto-publish pages