PF 2020 ... and small patch

Best wishes for the New Year :-)
bugfixes:
!+ fixed and improved speed of digging
!+ fixed small reported bugs
!+ fixed clipping inside objects (wanderer mode)
small improvements:
+ improved default view range
+ added logging for special situations