An on-demand workstation deployment backed by Amazon EC2