Remove two no longer used shell scripts#52

shindere merged 1 commit intoocamllibs:mainocamllibs/stdcompat:mainfrom

shindere:remove-obsolete-scriptsshindere/stdcompat:remove-obsolete-scriptsCopy head branch name to clipboard