Also renames "stmhal" to "stm32" in documentation and everywhere else.
Script is due to Dave Hylands.