Jenkins integration (with phpdox)