Hide native function declarations by default

Use --fullgraph to show all function declarations.
Ignore included native function definitions

If some native included definitions miss cps annotations, the inferer
will not detect it (but classical CPC compilation will still fail of
course).

Use --fullgraph if you do not care about graph display, and prefer a
full check for correct textual warning.