Rename vectvectmul to dot (product), improve a few things#30

Bastacyclop merged 1 commit intomaincharguer/optitrust:mainfrom

dot-renamecharguer/optitrust:dot-renameCopy head branch name to clipboard