master updated (697fa14 -> cbc4626)

[Mathieu Othacehe]

mothacehe pushed a change to branch master.

    from 697fa14  Add "queue size" argument.
     new 3673fc3  Save the build machine.
     new f65ef23  Remove debug message.
     new ca7a7ca  Add remote build support.
     new cbc4626  Switch to PostegreSQL.


Summary of changes:
 .dir-locals.el                       |    3 -
 .gitignore                           |    2 +
 Makefile.am                          |   39 +-
 README                               |   78 +-
 bin/cuirass.in                       |  172 ++--
 tests/ui.scm => bin/remote-server.in |   23 +-
 tests/ui.scm => bin/remote-worker.in |   23 +-
 build-aux/guix.scm                   |    6 +-
 configure.ac                         |    2 +-
 doc/cuirass.texi                     |   14 +-
 src/cuirass/base.scm                 |   41 +-
 src/cuirass/database.scm             | 1603 +++++++++++++++++-----------------
 src/cuirass/http.scm                 |   45 +-
 src/cuirass/metrics.scm              |  207 +++--
 src/cuirass/remote-server.scm        |  497 +++++++++++
 src/cuirass/remote-worker.scm        |  382 ++++++++
 src/cuirass/remote.scm               |  437 +++++++++
 src/cuirass/templates.scm            |   66 +-
 src/cuirass/utils.scm                |   74 +-
 src/schema.sql                       |   79 +-
 src/sql/upgrade-1.sql                |   75 --
 src/sql/upgrade-10.sql               |   12 -
 src/sql/upgrade-11.sql               |   11 -
 src/sql/upgrade-12.sql               |    7 -
 src/sql/upgrade-13.sql               |    5 -
 src/sql/upgrade-14.sql               |    5 -
 src/sql/upgrade-15.sql               |    7 -
 src/sql/upgrade-16.sql               |    5 -
 src/sql/upgrade-2.sql                |   49 --
 src/sql/upgrade-3.sql                |   46 -
 src/sql/upgrade-4.sql                |   18 -
 src/sql/upgrade-5.sql                |   15 -
 src/sql/upgrade-6.sql                |   47 -
 src/sql/upgrade-7.sql                |   15 -
 src/sql/upgrade-8.sql                |    7 -
 src/sql/upgrade-9.sql                |    9 -
 tests/database.scm                   |  417 ++++++---
 tests/http.scm                       |   32 +-
 tests/metrics.scm                    |  149 ++--
 39 files changed, 2985 insertions(+), 1739 deletions(-)
 copy tests/ui.scm => bin/remote-server.in (56%)
 copy tests/ui.scm => bin/remote-worker.in (56%)
 create mode 100644 src/cuirass/remote-server.scm
 create mode 100644 src/cuirass/remote-worker.scm
 create mode 100644 src/cuirass/remote.scm
 delete mode 100644 src/sql/upgrade-10.sql
 delete mode 100644 src/sql/upgrade-11.sql
 delete mode 100644 src/sql/upgrade-12.sql
 delete mode 100644 src/sql/upgrade-13.sql
 delete mode 100644 src/sql/upgrade-14.sql
 delete mode 100644 src/sql/upgrade-15.sql
 delete mode 100644 src/sql/upgrade-16.sql
 delete mode 100644 src/sql/upgrade-2.sql
 delete mode 100644 src/sql/upgrade-3.sql
 delete mode 100644 src/sql/upgrade-4.sql
 delete mode 100644 src/sql/upgrade-5.sql
 delete mode 100644 src/sql/upgrade-6.sql
 delete mode 100644 src/sql/upgrade-7.sql
 delete mode 100644 src/sql/upgrade-8.sql
 delete mode 100644 src/sql/upgrade-9.sql