mitfiles-downloader simple script to download stuff from mitfiles, change url to download specific folders if you want, ignore errors, mostly arise due to mkdir for existing folders