Rename 100doors_unoptimized.rs to 100_doors_unoptimized.rs