Add Dockerfile with minimal dev dependencies#10

TheDeepestSpace wants to merge 2 commits intoUTOSS:mainUTOSS/risc-v:mainfrom

TheDeepestSpace:dev-envTheDeepestSpace/utoss-risc-v:dev-envCopy head branch name to clipboard