Enable ccache for buildall.sh

buildall.sh

@@ -1,6 +1,12 @@
 #!/bin/bash
-
 set -e
+
+# Enable ccache
+export CCACHE_DIR="$HOME/.cache/ccache_mikernel" 
+export CC="ccache gcc"
+export CXX="ccache g++"
+export PATH="/usr/lib/ccache:$PATH"
+
 bash build.sh psyche
 bash build.sh thyme
 bash build.sh umi