Filename numbers now included in default output

Numbering was previously omitted in FLIP's output filenames.
This was fixed so that the default output names will always be
on the form explained in the READMEs in the flip/src/{cpp|python}
directories.

In addition, unused code in the src/cpp/tool/filename.h file is now
removed.