User model

[karlhorky]

Merging blocked on #536, #551, #555, #560, #562 and #563 because this PR contains commits from those PRs.

To use, rebuild containers:

docker-compose down
rm build/api build/api-db build/ssh build/auth-server
make build/api
make build/api-db
make build/ssh
make build/auth-server

Maybe also need to rm the build/yarn-workspace-builder file?

TODO:

• Add new tables to database
• Modify existing tables in database
• Fix database views
• Change JWT to include user id, not SSH key
• Update ssh token command to verify SSH key against users
• Migrations for database tables
• Update stored procedures (ssh_key, project_ssh_key, customer_ssh_key)
• Update all consumers of database tables and views (ssh_key, project_ssh_key, customer_ssh_key, permissions)
• Make Drush automatic tokens compatible with new JWTs (do we still need to do this?)
• Look for any code with potential to rely on old structure (ssh.+key)
• Automatic migration script for existing data in old format
• New additions to the DAO
• Modifications to the DAO
• New additions to GraphQL schema
• Modifications to GraphQL schema
• Update all queries and mutations from GraphQL consumers (including api-data.gql)
• Comment in commented-out migrations
• Fix tests
• Update documentation

Later:

• Tests for database (queries in DAO, also tables and views?)
• Tests for GraphQL
• Validation for user emails
• CLI integration? (lagu users, lagu user)
• Move DAO methods to more idiomatic GraphQL folder / file structure

Planning:

Database Tables

User fields partly inspired by Django User model

user (new)
userid email          firstname lastname
1      k@example.com  karl      horky

ssh_key (no changes)
sshid key
1     foo
2     bar

user_ssh_key (new)
userid sshid
1      1
1      2  // multiple SSH Keys per user

customer_user (previously customer_ssh_key)
customerid userid
3          1

project_user (previously project_ssh_key)
projectid userid
9         1

GraphQL

User {
  SshKeys: [
    {}
    {}
    {}
  ]
}

Project {
  Customer {
    Users [
      {}
      {}
      {}
    ]
  }
  Users [
    {}
    {}
    {}
  ]
}

[karlhorky]

Hm, lots of merge conflicts in the new changes from master. Since we have these commits also in #632, I'm going to close this PR and let #632 supersede this, fixing the conflicts over there.

Update: Now #675 has superseded #632.