Files required to build the standard VIAcard Development Station in Docker