Add ProofGeneral.jpg to distribution
Set version tag for new release.
Retire Serifa font usage
rename ProofGeneral.{jpg,gif} into ProofGeneral-image.{jpg,gif}
to fix #472
make warnings non-fatal for normal compilation to fix #458, use
'make check' to get errors
Run make check before release