Introduce Scanners.
Add scanners and global operations on views.
Merge branch 'devel' of ssh://github.com/emmt/TiPi into devel