Update make_opam_package_list.bash
Merge branch 'master' of github.com:pw374/pw374.github.io