Tools and Dockerfile for GCC 2014 "Demo"