Clean up Synchronization

See merge request !274

trigger docs.memri.io pipeline on push to dev

See merge request !273

Fix markdown references (attempt 2)

See merge request !272

Fix markdown references

See merge request memri/pod!271

added docker auth config variable

See merge request memri/pod!270

Update libraries, fix fixable CVEs, ignore two CVEs

See merge request memri/pod!269

The two ignored CVEs, "time" RUSTSEC-2020-0071 and
"chrono" RUSTSEC-2020-0159, are considered too hard/ugly
to fix for the moment.

Remove always pulling latest docker image

See merge request memri/pod!267

Always pulling was proposed and introduced as a way
to ensure that Plugins are always used at their latest version.

However, this does not work if a local Plugin is being developed
that does not yet have a published version at all.

It was decided (by the Memri team) to remove the pulling logic
and instead ask people to always pull the image they need.

Allow specifying returnProperties in the API

See merge request memri/pod!266

added hostname in docker-compose

See merge request !264

Add build profile to version information

See merge request !265

Clarify minimum required docker version

See merge request memri/pod!262

updated docker version in pod

See merge request memri/pod!263