3b42996949
Move to updated MariaDB version 10.2.31. Tweak start.py for python3 as /usr/bin/python doesn't exist and isn't robust. Change-Id: Ib64ed5de34e3ff87c634d09f98aaddeb374d2bd6