lab 5 nit fix + lab 6 z3 install note#1

raghav-g13 wants to merge 1 commit intoagile-hw:mainagile-hw/labs:mainfrom

raghav-g13:minor-fixesraghav-g13/agile-hw-labs:minor-fixesCopy head branch name to clipboard