Remove redundant code in PostIncrE.
Return pad value if a function doesn't otherwise return.
More work understanding sketch gallery status.
Assume hampi.sh and friends are in $PATH.

Instead of hard coding it to hampi/...
Minor cleanup of shampi.

And started switching to the search space API.
Rename "modelchecker" "saiger".
Rename "aiger" executable "saiger".
Very minor code cleanup.
Use 'pdtrav' from $PATH.

Rather than hardcoding the location.
Rename sketch "ssketch"
Use sketch from $PATH.

Instead of hard coding it.
Switch to Smten.Searches API instead of Smten.Symbolic.SMT.
Switch saiger entirely over to Smten.Search api.
Switch shampi entirely to Smten.Search api.
Move ssketch entirely over to Smten.Search api.