rework pickleast.py and change the copyright header of the files