Upgrade 7.1.5 to 8.0.1 with Docker

[langhaarschneider]

I also asked for this, but got no reply: Seafile community edition 8.0 is ready for test!