new script to extract data from pari/src/functions/*