* [FIX] Declare project title, abbreviation, description, and file search path.
* [DH_COMMUNICATION,EXT] Make edge_count/4 deterministic for instantiation (+,+,+,-).
* [DH_GIF,FIX] Since the vertices and edhes were collected sequentially, there could be collected edges containing uncollected vertices.
* [DH_NAVIGATION,FIX] Declare logging file type.
Merge branch 'master' of https://github.com/wouterbeek/DataHives
minor