Exclude setup/teardown from test list generation

Put test list generation under test.  Extract hoax_macro which knows how to
extract fun_names from functions and build a correct test list.
Prove fix inconsistency fix.

Include a common test form that fails previous to this merge.
PR Comments
Merge pull request #8 from oferrigni/exclude_setup_teardown

Exclude setup/teardown from test list generation