Silence 'idris2 --clean idris2.ipkg' errors
Silence 'idris2 --clean idris2.ipkg' errors

Silence annoying errors like 'No such file or directory' if there are no files/directoris to delete

mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm