ManaVerse

Squashed with:
* Rename - it's member shift, not printf shift

* So it seems that CILK PLUS either ignores the this argument of member
functions or already considers it on its own.

Besides.. is CILK PLUS even relevant today? Whatever..

Plus, deduplicate some more functions

..should this attribute be moved to its own file?

* Correct indents

* logger.h: de-duplicate __attribute__(__format__(..))

****
!163