Fix external C library linking and command line bug fixes

• Fix logging errors when mirage output is not redirected. (#355)
• Do not reverse the order of C libraries when linking. This fixes Zarith
  linking in Xen mode. (#341).
• Fix typos in command line help. (#352).