Cleaned up Dockerfile. Added install.sh to same repository.
Authored by: ingo <> 2019-03-06
Committed by: ingo 2019-03-06
Parent: [a0b0a0]
Child: [31733c]