Quick Start - Getting sbsat ready to run

This and the following three sections are intended to provide enough information to begin using sbsat successfully, if not optimally.