bump version to 6.2

tools/docker/Makefile

@@ -0,0 +1,14 @@
+export:
+	mkdir export
+
+ubuntu16.04-image:
+	docker build -f ubuntu-16.04.Dockerfile -t or-tools-ubuntu-16.04-image .
+
+ubuntu16.04-archive: export
+	docker run -w /root/or-tools -v `pwd`/export:/export or-tools-ubuntu-16.04-image:latest /bin/bash -c "git pull; make clean; make all -j 5; make test; make archive python_examples_archive; cp *.tar.gz /export"
+
+ubuntu17.04-image:
+	docker build -f ubuntu-17.04.Dockerfile -t or-tools-ubuntu-17.04-image .
+
+ubuntu17.04-archive: export
+	docker run -w /root/or-tools -v `pwd`/export:/export or-tools-ubuntu-17.04-image:latest /bin/bash -c "git pull; pwd; make clean; make all -j 5; make test; make archive; cp *.tar.gz /export"

tools/docker/ubuntu-16.04.Dockerfile

@@ -0,0 +1,16 @@
+FROM ubuntu:16.04
+
+RUN apt-get update
+
+RUN apt-get -y install git autoconf libtool zlib1g-dev gawk g++ curl cmake subversion make mono-complete swig lsb-release python-dev default-jdk
+
+ENV TZ=America/Los_Angeles
+RUN ln -snf /usr/share/zoneinfo/$TZ /etc/localtime && echo $TZ > /etc/timezone
+
+WORKDIR /root
+
+RUN git clone https://github.com/google/or-tools
+
+WORKDIR /root/or-tools
+
+RUN make third_party

tools/docker/ubuntu-17.04.Dockerfile

@@ -0,0 +1,16 @@
+FROM ubuntu:17.04
+
+RUN apt-get update
+
+RUN apt-get -y install git autoconf libtool zlib1g-dev gawk g++ curl cmake subversion make mono-complete swig lsb-release python-dev default-jdk
+
+ENV TZ=America/Los_Angeles
+RUN ln -snf /usr/share/zoneinfo/$TZ /etc/localtime && echo $TZ > /etc/timezone
+
+WORKDIR /root
+
+RUN git clone https://github.com/google/or-tools
+
+WORKDIR /root/or-tools
+
+RUN make third_party