Dockerfile updated for REPL support, and simplified for now (no JVM).