Hide history tab for scripts that are not installed; fixes https://github.com/bbc/microbit-extras/issues/2190
Hide history tab for scripts that are not installed; fixes https://github.com/bbc/microbit-extras/issues/2190

SoftwareEngineeringToolDemos/FSE-2012-TouchDevelop,SoftwareEngineeringToolDemos/FSE-2012-TouchDevelop,jle33/TouchDevelop,SoftwareEngineeringToolDemos/FSE-2012-TouchDevelop,jle33/TouchDevelop,jle33/TouchDevelop,SoftwareEngineeringToolDemos/FSE-2012-TouchDevelop,SoftwareEngineeringToolDemos/FSE-2012-TouchDevelop,SoftwareEngineeringToolDemos/FSE-2012-TouchDevelop,jle33/TouchDevelop,jle33/TouchDevelop,SoftwareEngineeringToolDemos/FSE-2012-TouchDevelop