Updating documentation with information about the devel_geophp branch