Document history view included

* Created history view, listing all changes ever commited to document,
sorted by time of commit
* git-tools function to get all commits
* Added "Document History" button to Document View
* Included needed package "async"
* Scrolling to selected commit in commit history view (further
improvement planed)