src/scripts/boxhead, boxtail, boxup, showdvi removed

These scripts are no longer needed.