Improve reporting of sync errors
- The error banner is shown again when a particular library is open and has sync errors.
- Additionally, such errors are now reported as Problems (and hence, are also visible even if the library is not open).
Closes #187 (closed)