commit some changes that had been pending for a while

most have been running for a few years in prod
fix bug where result pages past the first couldn't be displayed

php deprecated session_is_registered() and we had to stop using it to fix the code
add new retrieve script

This allows to transfer the changes from the production machine to a
development machine, in order to commit them.