puild: generalized the tools/getSourceFiles.py by accpeting <path> and <ext>