Remove warning of idris --clean when deleting inexistent files

Only try to remove ibc and binary files when they actually exist.