VIRL – a network simulation platform including virtual machines running Cisco’s core network operating systems