[RFC] prepend_include_path()/append_include_path()

Hi everyone, the following patch[1] adds the functions append_include_path() and prepend_include_path(). These function are there to make include path adjustments easier than it is. Especially append_include_path() is what is done most of the time. The current patch is in a bit hacky state, as I have my doubts whether storing the include paths as a string is a good idea. I want to gain some feedback for this addition first before I invest more work on it. [1] http://lars.schokokeks.org/php/include_path_modifiers-1.diff cu, Lars