src/Tools/8bit/fonts/install

re-organization of theorems from Alloc and PPROD, partly into new theory
Lift_prog

#!/bin/bash

#NOTE: just a quick and dirty hack -- assumes correct isatool in PATH

isatool installfonts