Add missing .so version numbers for libmpi_usempif08.so.

cmr=v1.7.3:reviewer=rhc:subject=Add missing libmpi_usempif08 shared lib
Remove Cisco platform files from Makefile.am so we don't break "make dist"

Thanks to Mellanox/Jenkins for catching this before the nightly build
tonight!