fix(Other): renamed BeaverMathOlympiad to BusyBeaverMathOlympiad

[franzhusch]

Renamed BeaverMathOlympiad to BusyBeaverMathOlympiad to make it findable via search, when searching for BusyBeaver.

Motivation was #2292

[Paul-Lez]

I think here it would be reasonable to stick to the name of the wiki page (but you can add a "Busy Beaver" tag in the module docstring to make things more findable by search)

[franzhusch]

This would not make it findable by searching "Busy" in the Github Search. But if that is not a major concern, then its probably best to just add it to the docstring and leave the name as it is.

[franzhusch]

Sterin was also inconsistent in his naming. The namespace is called "BusyBeaverMathOlympiad" and the first problem is called "busy_beaver_math_olympiad_problem_1", while all the following ones are called "beaver_math_olympiad_problem_X".

[mo271]

This would not make it findable by searching "Busy" in the Github Search. But if that is not a major concern, then its probably best to just add it to the docstring and leave the name as it is.

Github searches through the content of files, right? So this should be fine.

[mo271]

Sterin was also inconsistent in his naming. The namespace is called "BusyBeaverMathOlympiad" and the first problem is called "busy_beaver_math_olympiad_problem_1", while all the following ones are called "beaver_math_olympiad_problem_X".

That could be fixed, I suppose

[franzhusch]

This would not make it findable by searching "Busy" in the Github Search. But if that is not a major concern, then its probably best to just add it to the docstring and leave the name as it is.

Github searches through the content of files, right? So this should be fine.

It does not find it when using the file search "Go to file..." next to the code button in the repo, but thats rather a small issue I suppose.

[Paul-Lez]

Thanks!