Fix README AUTHOR licence, _CoqProject and Makefile, add Travis

.travis.yml

@@ -0,0 +1,43 @@
+dist: trusty
+sudo: required
+language: c
+cache:
+  apt: true
+  directories:
+  - $HOME/opam
+addons:
+  apt:
+    sources:
+    - avsm
+    packages:
+    - opam
+    - aspcud
+env:
+  global:
+  - NJOBS=2
+  # system is == 4.02.3
+  matrix:
+  - COMPILER="system" MC_VERSION="1.6.4" COQ_VERSION="8.7.2"
+
+install:
+- mkdir -p ~/opam/
+- opam init -j ${NJOBS} --root=~/opam/${COMPILER}-{$MC_VERSION} --compiler=${COMPILER} -n -y
+- eval $(opam config --root=~/opam/${COMPILER}-{$MC_VERSION} env)
+- opam repo add coq-released http://coq.inria.fr/opam/released
+
+jobs:
+  include:
+    - stage: coq
+      script:
+      - eval $(opam config --root=~/opam/${COMPILER}-{$MC_VERSION} env)
+      - opam install coq ${COQ_VERSION}
+      - opam pin add coq ${COQ_VERSION}
+    - stage: math-comp
+      script:
+      - eval $(opam config --root=~/opam/${COMPILER}-{$MC_VERSION} env)
+      - opam install -j ${NJOBS} -v -y coq-mathcomp-field.${MC_VERSION}
+      - opam pin add coq-mathcomp-field ${MC_VERSION}
+    - stage: real-closed
+      script:
+      - eval $(opam config --root=~/opam/${COMPILER}-{$MC_VERSION} env)
+      - make -j ${NJOBS}

AUTHORS

@@ -0,0 +1,15 @@
+Andrea Asperti      University of Bologna - Microsoft Inria Joint Centre
+Jeremy Avigad       Carnegie Mellon University - Microsoft Inria Joint Centre
+Yves Bertot         Inria Sophia Antipolis - Microsoft Inria Joint Centre
+Cyril Cohen         LIX �cole Polytechnique - Microsoft Inria Joint Centre
+Fran�ois Garillot   Microsoft Inria Joint Centre
+Georges Gonthier    Microsoft Research Cambridge - Microsoft Inria Joint Centre
+St�phane Le Roux    Microsoft Inria Joint Centre
+Assia Mahboubi      Inria Saclay - Microsoft Inria Joint Centre
+Sidi Ould Biha      Inria Sophia Antipolis - Microsoft Inria Joint Centre
+Ioana Pasca         Inria Sophia Antipolis - Microsoft Inria Joint Centre
+Laurence Rideau     Inria Sophia Antipolis - Microsoft Inria Joint Centre
+Alexey Solovyev     University of Pittsburgh
+Enrico Tassi        Inria Saclay - Microsoft Inria Joint Centre
+Laurent Th�ry       Inria Sophia Antipolis - Microsoft Inria Joint Centre
+Russell O'Connor    Mc Master University - Microsoft Inria Joint Centre