TS-1685: remove --enable-micro

TS-1685 removed suport for the micro build. Remove the build option
for this since it doesn't do anything any more.