Updating docs
Merge branch 'feature_docusite' of github.com:lanice/hyrise into feature_docusite
Merge branch 'feature_docusite' of github.com:lanice/hyrise into feature_docusite
Merge branch 'feature_docusite' of github.com:lanice/hyrise into feature_docusite
Merge branch 'feature_docusite' of github.com:lanice/hyrise into feature_docusite
added vagrant to hyrise installation