add dockerfile

4 jobs for main in 31 minutes and 36 seconds (queued for 6 seconds)