simplify Dockerfile by using "tianon/debian-devel" as the base