Seafile / Seafile Pro installation with puppet