Cleanup; set Nuxeo version to 5.7.2