Release 1.0.3: Export Environment Variable

This release adds an automatic export of the environment variable Z3_ROOT to the action as a convenience feature.