Compilation instructions for 0.12

We got reports from some people that version 0.12 did not work as expected. This is due to a bug in the translation buffer code. Please compile with "NO_INTELLIGENT_TB" defined (-DNO_INTELLIGENT_TB, or put #define NO_INTELLIGENT_TB at the top of TranslationBuffer.cpp).