Modifications to use Docker to run unit tests and check syntax in 3.0