libompitrace: Use VERSION file to set .so version#2073

jjhursey merged 1 commit intoopen-mpi:masteropen-mpi/ompi:masterfrom

jjhursey:topic/ompitrace-versionjjhursey/ompi:topic/ompitrace-versionCopy head branch name to clipboard