Add instruction for MathSAT5 directory renaming