tools: Remove Bitbucket Wiki formatting (see #4085)

GitHub markdown doesn't have Bitbucket's quirky rendering issues
so the special formatter is no longer needed.

Author: magreenblatt