Revert version shown in splash screen in dev branch from "5.8" to "5.7 development" as 5.8 is not tagged yet.