Update resource management to copy with shared keys
Fix bug when refreshing pools which are copies of ec2 pools
Set a limit on the number of lines read in AWS key upload
Fix another bug in resource counting, this time wrt pools launched on
shared keys
Improve subtask status updating through client script, and implement
results processing in sensitivity optimisation task