remove generation of ps.h and commit generated output instead

remove generation of ps.h and commit generated output instead

The generation of ps.h from ps.txt was trivial and ps.txt was no easier to edit
or update than the resulting generated header. Removing it and using a static
source instead accelerates all three builds, increases portability and moves
towards dropping the dependency on Awk.

Related to #2118.