Replace the bulk of CI with a (much simpler) bash script