Use qualified API names in Assignment 4 docs
Rewrite Assignment 4 symbolic execution guide
Created Z3 API (markdown)