improvement: no prompt about SAT solver unless user is on windows #4277

Job	Run time
ash-ci (Picosat) / mix deps.get	22s
ash-ci (Picosat) / audit	1m 14s
ash-ci (SimpleSat) / mix deps.get	23s
ash-ci (SimpleSat) / audit	55s
ash-ci (SimpleSat) / mix igniter.upgrade	5s
ash-ci (Picosat) / mix igniter.upgrade	0s
ash-ci (SimpleSat) / MIX_ENV=test mix.compile	52s
ash-ci (Picosat) / MIX_ENV=test mix.compile	1m 3s
ash-ci (SimpleSat) / mix spark.cheat_sheets --check	1m 0s
ash-ci (SimpleSat) / mix docs	56s
ash-ci (SimpleSat) / mix credo --strict	1m 2s
ash-ci (SimpleSat) / mix format --check-formatted	53s
ash-ci (SimpleSat) / mix spark.formatter --check	51s
ash-ci (SimpleSat) / mix sobelow	53s
ash-ci (SimpleSat) / MIX_ENV=dev mix.compile	50s
ash-ci (SimpleSat) / mix deps.unlock --check-unused	47s
ash-ci (SimpleSat) / mix dialyzer	3m 55s
ash-ci (SimpleSat) / mix ash.codegen --check	0s
ash-ci (SimpleSat) / mix test	2m 20s
ash-ci (Picosat) / mix spark.cheat_sheets --check	49s
ash-ci (Picosat) / mix docs	1m 1s
ash-ci (Picosat) / mix format --check-formatted	1m 2s
ash-ci (Picosat) / mix credo --strict	1m 3s
ash-ci (Picosat) / mix sobelow	50s
ash-ci (Picosat) / mix spark.formatter --check	58s
ash-ci (Picosat) / mix test	2m 20s
ash-ci (Picosat) / mix deps.unlock --check-unused	48s
ash-ci (Picosat) / MIX_ENV=dev mix.compile	45s
ash-ci (Picosat) / mix ash.codegen --check	0s
ash-ci (Picosat) / mix dialyzer	3m 14s
ash-ci (SimpleSat) / Deploy docs to GitHub pages.	7s
ash-ci (Picosat) / Deploy docs to GitHub pages.	7s
ash-ci (SimpleSat) / Release	0s
ash-ci (Picosat) / Release	1s
	31m 26s

Provide feedback