allow useless trailing semicolons in some places where people tend to put them, but warn about them (trac ticket 832)