update release script to put updated readmes in archives
update release script to put updated readmes in archives

potassco/clingo,peschue/clingo,potassco/clingo,peschue/clingo,potassco/clingo,peschue/clingo,peschue/clingo,potassco/clingo