Nightly: use another DB for local tests (#514).
Nightly: return latest file of given type, given branch (#514).
Merge branch 'develop' of github.com:igraph/igraph into develop