digital: HPD fixes (burst ID tags are no more propagated; buffer sizes are halved to est. max output size)
modtool: bugfixes for in-tree operation (include paths, license, cmake editing)
Merge remote-tracking branch 'martin/hpd-modtool-fixes' into maint
Merge branch 'maint'