How to include guitar tabs from guitar pro in video?
The Guitar Pro website doesn't list video as one of the output formats available within the software.  So, you'll need to use screen capture software to record the animated tabs, then composite this over your instrument footage.

Alternatively, you could use hardware video mixing devices to combine the video feed of the tab playback with a live camera feed of the guitarist.  This is how many video game streamers composite video feeds with their live gameplay.  Blackmagic design makes an entry level device suitable for this purpose called the ATEM mini.  AJA is another company with similar devices.

Neither of these methods will allow you to alter the format of the output from the guitar tab software; what you see is what you get.  For example, if Guitar Pro 7 doesn't have a continuously-scrolling lower third output format (Like the one in the Cerberus video), you'd need to manually re-create the lower-third tab notation, and then composite it with your guitarist footage.  You can get as fancy as you want with this method, using motion graphics techniques and software such as After Effects, Fusion, or Motion (to name a few), but you could also keep it pretty simple; It's pretty straightforward to animate an image moving left to right in any NLE.  You could use photo editing software like photoshop to convert one of the printable export formats of GP7 into a long, horizontal image, overlay the graphic on your footage, and animate it by setting a position keyframe at the beginning of your video, and one at the end (use linear temporal interpolation for steady movement).