arangodb 1.4.7

Bug-Fix release 1.4.7