Exchanged verbinclude with Arangosh for bett examples in gitbook