Single_file_libs: Single-file C and C++ public domain libraries