Merge pull request #139 from F21/devel

Fixed enhanced tracer headers that got broken in f98463250eae1aa1fd1d510b7aeb412b36438436.
Merge pull request #140 from F21/devel

Update to ArangoDB 1.3.2.