Factored recusive header search out into headerfind.py