update cyclist sources; update READMEs for solvers