Configure time virtualenv setup
This is the followup MR promised in !219 (merged) that implements setup of a virtualenv at configure time, if the user has explicitly granted permission to do so. Naturally, this one builds upon !219 (merged), so it might be a bit hard to spot the changes.