added command line app for creating new SAT based apps.

laaaaarge comment in  https://github.com/patriciomacadden/sat/issues/8