Simplify build process

Simplify configure and Makefile
Add "howto" when Yices is missing
Externalize sed scripts
Update copyright headers
Bump to 0.7