Testbenches: Make vc file PHONY and remove legacy
User guide: Update installation instructions