My experiments with using boxen to configure my laptop