B to mu mu SM WC debugged and tested to NLO. Codes cleaned. Comments modified.
Minor bug (introduced by modification of StandardModelMatching.cpp) removed.