docker run helper script (#6270)

Tools/docker_run.sh

@@ -0,0 +1,15 @@
+#! /bin/bash
+
+PWD=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
+SRC_DIR=$PWD/../
+
+CCACHE_DIR=${HOME}/.ccache
+mkdir -p ${CCACHE_DIR}
+
+docker run -it --rm -w ${SRC_DIR} \
+	-v ${SRC_DIR}:${SRC_DIR}:rw \
+	-v /tmp/.X11-unix:/tmp/.X11-unix:ro \
+	-v ${CCACHE_DIR}:${CCACHE_DIR}:rw \
+	-e CCACHE_DIR=${CCACHE_DIR} \
+	-e LOCAL_USER_ID=`id -u` \
+	px4io/px4-dev-nuttx:2017-01-07 /bin/bash -c "$@"