generate satis.json from a repositories.txt file

Editing satis.json by hand is too error prone; people often forget to
add or not add trailing commas.