Move examples into the SMT folder

Fixes #42

This moves examples so that processing can find them and put them in
File->Examples->Contributed Libraries->SMT

Also updates the readme to match