introduce WJEWriteFILE()

To be able to call the WJEDump() function from gdb and for the sake
of readable function names, don't use a macro to do writing to a FILE*