Added local tool aptfile to use with apt based development installation. (#772)

aptfile

@@ -1,6 +1,11 @@
 #!/usr/bin/env aptfile
 # ^ note the above shebang
 # https://github.com/seatgeek/bash-aptfile
+# Copied locally into tools/bash-aptfile
+# This file is used to install packages on a development environment
+# using the apt-get package manager.
+# Run using the following command:
+#   sudo ./tools/bash-aptfile/bin/aptfile ./aptfile
 
 # trigger an apt-get update
 update
@@ -19,6 +24,7 @@ package "mingw-w64"
 package "git"
 package "gitk"
 package "gitg"
+package "pre-commit"
 
 # install source code format packages
 package "tofrodos"