Updating: improving prelude/checkast
Updating: adding atsmake-pre.mk and atsmake-post.mk