Dockerfile for hosting nerves-sdk (Ubuntu 12.04 based)