Development tools for Zephyr on STM32Workbench for Zephyr: VS Code extension to set up, build, flash and debug Zephyr applications on STM32.Devicetree manager: browse, edit and visualize Zephyr devicetree, STM32CubeMX-like for Zephyr.
There will not be a product installer for the v1.4 release. Instead, you should download the v1.3 release and update the tool through "Help" > "Check for updates...".
And yes, the v1.4 release includes in particular support for F4 HAL v1.8. library.