A Framework For Efficient Creation And Customization Of High Level Program Visualizations