Make sure the distribution scripts compress files and include version numbers

dashboard/dist.sh

@@ -1,11 +1,12 @@
 #!/usr/bin/env bash
 
 set -euo pipefail
-set -x
+
+VERSION=`cat Cargo.toml | grep "^version =" | sed -r 's/^version = "(.+)"$/\1/'`
 
 mkdir -p dist
 cp dashboard.desktop dist
 cp ../target/release/dashboard dist
 strip dist/dashboard
-tar -czf dashboard.tgz dist/
+tar -czf dashboard-${VERSION}.tgz dist/