Merge branch 'nodiscc-improvements-misc' into master
tree1fcd10fd40ccba4e21005729c059a5a095eb0979
-rw-r--r-- 129 .mailmap
-rw-r--r-- 446 .travis.yml
-rw-r--r-- 5060 CAs.md
-rw-r--r-- 2129 CONTRIBUTING.md
-rw-r--r-- 1076 LICENSE
-rw-r--r-- 6088 Makefile
-rw-r--r-- 58362 README.md
-rw-r--r-- 14842 cas.sh
-rwxr-xr-x 6471 gen-readme.sh
-rw-r--r-- 20590 ignore.list
drwxr-xr-x - screenshots
-rw-r--r-- 62172 user.js