Note the PPSSPP version in the log.

Fixes #807.