GitLab

Add module Platform: single interface to functions that depend on the
runtime. For now, the native (existing one), and a dummy one that
constitutes a skeleton for the js one.

All calls to Cryptokit, Z, Calendar (which depends on Unix) in the
command-line tool now go through this module.

Move code specific to a group implementation there, and use it
everywhere else.

In each directory, always open in the following order:
 1. third-party libraries
 2. serializable
 3. signatures
 4. common

Also, always open modules from lib/* before. This order is reflected
in *.mllib files.

Additionally, open more frequently serialization modules.

Though small, this code really does not belong to Election, which does
not (and should not) depend on a specific group implementation.

Keep "Auth_" prefix for auth systems.

All modules in src/web start by either "web_" or "auth_".

 - metadata is specific to web, move it there
 - create Web_serializable, and also move randomness there
 - metadata is not optional (but its components can be)
 - rename user_type into user_domain
 - serializable version of ACLs

This is preliminary work to make the authentication system more
flexible. This big refactoring should be semantically equivalent to
the previous commit.

Summary:
 - create Auth_common and Web_signatures
 - split Web_election out of Web_common (to cut dep cycle)
 - move service definitions out of Services
 - functorize Templates

 - remove phony POST parameters
 - perform verification of submitted votes

 - new module: Common
 - one table for all elections, and one table per election for votes
 - for now, forget about election_shortcut service
 - in production, the server only uses Ocsipersist
 - "<load>" directive in configuration file to load the Ocsipersist
   database from the filesystem at initialization time

Use more abstract datatypes where possible:
 * Helios_datatypes_t.election
 * Uuidm.t