Remove Dockerfiles that are no longer used#1412

Devansh-567 wants to merge 2 commits into

p4lang:mainp4lang/p4-spec:mainfrom

Devansh-567:fix/dockerfile-gem-install-chainingDevansh-567/p4-spec:fix/dockerfile-gem-install-chainingCopy head branch name to clipboard