virtualbox: Fix permissions for /dev/vboxdrvu

See https://bugs.archlinux.org/task/38314 and https://www.virtualbox.org/browser/vbox/trunk/src/VBox/Installer/linux/installer-common.sh?rev=47894#L28
Add `NIX_MYENV_NAME` environment variable in `myEnvFun`
Adds easy-format
use wrapper to set LUA_PATH variable
added lua-filesystem-1.6.2
Tweak
Fix evaluation
include share directory
Added pipes-csv and pipes-http
compcert: build with 64-bit compiler, add darwin support
compcert: add missing semicolon in all-packages.nix
compcert: Correct syntax used in default.nix
xmobar: Updated to 0.21
Merge branch 'xmobar-update'
Add inferno, a distributed cross-platform hosted OS
Update GNU lightning to 2.0.4
Add Thrift-0.6.0.1
Update haskell-http-kit to version 0.5.1
vcprompt: new package

This adds the vcprompt utility, a little C program that prints a short string
with barebones information about the current working directory for various
version control systems.
Adding sqlcipher.