Factor duplicate code. Add more comments

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add build instructions for Fedora19
Use my.cdash.org to store results of unittests, coverage, and valgrind