Update ArangoDB to 1.4.13
Add Github ribbon with link to repository