update docker build script and add convenience wrapper

misc/docker/build.sh

@@ -26,7 +26,6 @@ rsync -v -acC --delete --filter="- *.pyc" --filter="- /*/" \
   "$BUILD_DIR/misc/tools/" &
 rsync -v -acC --delete \
   misc/fontbuild \
-  misc/fonttools-3.34.2-psCharStrings.patch \
   misc/ttf2woff \
   "$BUILD_DIR/misc/"
 wait

misc/vm

@@ -0,0 +1,19 @@
+#!/bin/bash -e
+#
+# Invokes provided arguments in a prebuilt docker image that contains
+# the Inter UI toolchain.
+#
+cd "$(dirname "$0")/.."
+
+RUN_ARGS=-it
+if [[ "$1" == "--no-tty" ]]; then
+  RUN_ARGS=-i
+  shift
+elif [[ "$1" == "-h" ]] || [[ "$1" == "--help" ]]; then
+  echo "Run Inter UI build environment virtual machine using docker." >&2
+  echo "usage: $0 [--no-tty] [<arg> ...]" >&2
+  echo "--no-tty   Do not run with TTY input device emulation (useful for scripting)" >&2
+  exit 1
+fi
+
+docker run --rm $RUN_ARGS -v "$PWD:/host" rsms/inter-ui-build:latest "$@"