HiSPARC III DAQ

It looks like the Pi and Python are up to the task. I've already merged quite a few changes back to master, but I'm keeping the rest in this pull request. Feel free to add tasks, but please keep in mind that I intend stage 1 to be a minimal working implementation of a DAQ. We'll add nice-to-have features needed before replacing our current DAQ system in stage 2.

**Stage 1 (minimal implementation):**
- [x] Basic hardware support
  - [x] HiSPARC III master
  - [ ] HiSPARC III slave
  - [x] HiSPARC II support on par with HiSPARC III
  - [x] Load HiSPARC III firmware
- [x] Easy configuration of device parameters
- [x] Load/Save device parameter config from/to disk
- [x] Load/Save application config from/to disk
- [x] Correct event timestamp using one-second message data
- [x] Store data locally
- [x] Upload data to Nikhef
- [x] Unattended ADC alignment procedure
- [x] Recover stalled hardware (no communication, orange hit lights continually lit)
- [ ] Write GPS settings (sane defaults)
- [ ] Perform GPS survey
- [x] ~~Try to slightly reduce message size, so that there is always room for one-second messages and so they never get dropped! (Thanks, Arne!)~~

**Stage 2 (full replacement for current DAQ solution):**
- [ ] Find/report/fix bug regarding read timeout (lack thereof, inducing excessive CPU usage) on 32-bit linux
- [x] Local buffer for temporarily storing events if the internet connection is dropped
- [x] Store events in a separate process or thread
- [ ] Read the hardware in a separate process or thread
- [ ] Unattended PMT HV calibration
  - [ ] Coarse calibration (on first hardware connect)
  - [ ] Fine calibration (after taking data and looking for the MIP peak)
- [x] Remote access, perhaps more 'station_software' related than DAQ related..
- [x] Some kind of status monitoring.. probably best done later, and consider alternatives to Nagios.
- [ ] Store singles rates
- [ ] Store comparator messages
- [ ] Send configuration events to datastore
- [ ] Implement n_peaks
- [ ] Implement data reduction
- [x] Provisioning of Raspberry Pi's
- [ ] Replace Redis with a key-value store which supports larger-than-memory datasets.
- [ ] Validate coincidence time settings, they may not exceed 10 us.
- [ ] Consider moving back from atom to traits