allow a semicolon after catch for writing 1-line try/catch blocks
clarify catch syntax in docs

fixes #7670