Reorganized repo

Brought more HOL Powershelgl scripts into this repo