Build shared version of asl if BUILD_SHARED_LIBS is on.
Merge branch 'master' of github.com:ampl/mp