new : HasIO io => CurDir -> PkgType -> Body -> IdrisEnv -> EitherT PackErr io ()
Create a new package at current location