another very simple build server using Docker