fix: provide __version__ attribute in settings.py
fix: provide __version__ attribute in settings.py

We need to make sure that we always provide the settings.py attribute,
even if we catch an exception. Otherwise, we sometimes fail to do
anything, just because we don't know our version.


Former-commit-id: b81eb8e17ad8a7a75a5dc4ef56158c2502fff39f
Former-commit-id: add110ac295099f36bb29ce242a5b7d091bfbc8d [formerly a40eade23d8bdcd206c1a01574c4d94eef76d0be] [formerly 80ce634580118d7e43877e9bf72ce1e5ceaf0ac1 [formerly c2633e928d679a578ff9c4bd6ded4329c07d34c8]]
Former-commit-id: 6a82e4c2514893c62299d0890613ee8a43d0336e [formerly 087479b47192b0d4224c9bb7685ffee7e195e837]
Former-commit-id: bdfc0610c0cbc0e1600c8d76f9c634ceaf39cbad
PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild