Merge "Interactive script for installing VDM Demo apps." into main