Refactor Dockerfile and add example how to run ghci