Eclipse_stuffs: add script to generate include paths and symbols in xml