changes/bug7143

   1   o Minor bugfixes (build):
   2     - Add the old src/or/micro-revision.i filename to CLEANFILES.
   3       On the off chance that somebody has one, it will go away as soon
   4       as they run "make clean". Fix for bug 7143; bugfix on 0.2.4.1-alpha.