Add information to use Docker to build the documentation

Thanks to @mach0 for his help :)