Change phpdocumentor version to a stable one