allow extensions to be killed by docker#10

mishaschwartz merged 2 commits intomainDACCS-Climate/log-parser:mainfrom

fix-dockerfileDACCS-Climate/log-parser:fix-dockerfileCopy head branch name to clipboard