How to efficiently run and re-run mariadb-test-run

For anyone doing their first contribution to MariaDB: start out by learning how the mariadb-test-run command works and how to efficiently rebuild the MariaDB sources and re-run the test suite.