Stable release with few fixes and new features

This release improves the parsing of mkvinfo's output to JSON and adds capabilities for showing and filtering header- and segment-information in MKV Overview.