am 88fd7a50: am fa3dfff8: Move mksh to external/mksh

* commit '88fd7a5082ebf964e9470a5f856081b27d887a28':
  Move mksh to external/mksh