Optional microsecond timing for log messages
Adds BST_MICROSECOND_TIMING environment variable and also documents both this and BST_PROFILE in HACKING.rst.
Edited by Jim MacArthur
Adds BST_MICROSECOND_TIMING environment variable and also documents both this and BST_PROFILE in HACKING.rst.