seafile: upgrade seafile to 4.0