* Avoid warning in git init when downloading libs
* Remove unused --libraries argument
* Take a Path when parsing libraries-dir
* Simplify expression of default libraries_dir
* Ensure the branch name is always a string
* Move git download to a dedicated function
* Emit error if get_library fails to create include dir
* Add script to download libraries, and download directx
* Add libraries endpoint
* Allow compiling with a library
* Add new libraries tab in frontend
* Add libraries support in CI
* Better look for the libraries
* Give pretty names to libraries
* Move Libraries to live under CompilerOpts
* typechecking hackery
* Make libraries trigger autorecomp and set the unsaved flag
* Fix libraryVersions
* Add new libraries download script to CI, docker and docs
---------
Co-authored-by: Ethan Roseman <ethteck@gmail.com>
Mark Street
Robin Lambertz
Joshua Peisach