Import d00fe77b6e: Updated lib paths for server docker image (by Maki)

[daleglass]

This is an automated proposal to look at a commit made by Maki and import it into Overte

Commit:	d00fe77b6ecf052ca69097b7d7c4dee049a122dc
Author:	Maki
Date:	Sat, 25 Apr 2020 11:59

Updated lib paths for server docker image

Stats:

Filename	Stats	Lines	Added	Removed	Lines in blame
.gitlab/build/linux.gitlab-ci.yml		5	3	2	⚠ 0
.gitlab/deploy.gitlab-ci.yml		6	3	3	⚠ 0
docker/extract-so.py		16	9	7	⚠ File gone
3 files	-	27	15	12	0

To work on this, please assign the issue to yourself, then look at the commit and decide whether this would be a good addition to Overte.

• If the commit is useful, tag it with "Tivoli: Keep", and keep it open until it's merged.
• If the commit is not useful, tag it with "Tivoli: Discard", and close it.
• If the commit is not useful right now, but might be later, tag it with "Tivoli: Maybe later", and close it.
• If it's hard to decide, tag it with "Tivoli: Discuss", and keep it open.

Useful commits should be submitted as a PR against Overte. Tag this issue in PR, so that it's automatically closed once the PR is merged.

You can cherry-pick this issue with this command:

git cherry-pick d00fe77b6ecf052ca69097b7d7c4dee049a122dc