Update documentation and dockerfile

1 job for master in 45 minutes and 30 seconds (queued for 2 seconds)