Reuse or remove old CI code

Many of the files in `ci` and `.github` are not really used since #13 and #14. If their added complexity is worth the benefits (like caching), reintroduce them. If not, delete them at some point.