added instructions for compiling using Docker