removed now unnecessary _validTo from master pointers/headers
fix reported datafile size for compacted files
use a write-lock when modifying file info in datafiles vector
Merge branch 'devel' of https://github.com/triAGENS/ArangoDB into devel