Ubuntu: install VirtualBox repository key.