issue #582: ifdef'd unused functions to eliminate need to patch build on Raspberry PI
removed buildheroes
fixed HTTP basic authentication with passwords containing the special characters ':' and '\'
1.3.3
regenrated examples
Merge branch '1.3' of github.com:triAGENS/ArangoDB into 1.3
updated mruby to 2013-08-22