Pagecache tools.

dumpcache.c: dumps complete pagecache of device.
pagecache.py: shows live info on files going in/out of pagecache.