Add properties of vector selectors, `Vec.reverse`, `Vec._++_` and `Vec.fromList`#2045

MatthewDaggitt merged 11 commits intoagda:masteragda/agda-stdlib:masterfrom

shhyou:more-vec-props-rebasedshhyou/agda-stdlib:more-vec-props-rebasedCopy head branch name to clipboard