Make the amplsolver library installable.