Docker: Fix libceres-dev installation.

Author: xiaoxq

docker/build/dev.x86_64.dockerfile

@@ -7,8 +7,6 @@ COPY installers /tmp/installers
 RUN bash /tmp/installers/pre_install.sh
 RUN bash /tmp/installers/install_bazel.sh
 RUN bash /tmp/installers/install_bazel_packages.sh
-# TODO(xiaoxq): This installer just doesn't work on Ubuntu 14.04.
-# RUN bash /tmp/installers/install_ceres_solver.sh
 RUN bash /tmp/installers/install_gflags_glog.sh
 RUN bash /tmp/installers/install_glew.sh
 RUN bash /tmp/installers/install_glusterfs.sh

docker/build/installers/install_ceres_solver.sh

@@ -27,6 +27,7 @@ apt-key adv --keyserver hkp://ha.pool.sks-keyservers.net:80 \
 
 apt-get update -y && apt-get install -y \
     libbz2-dev \
+    libceres-dev \
     libconsole-bridge-dev \
     libeigen3-dev \
     libgstreamer-plugins-base0.10-dev \