https://jakerpomperada.com/making-an-executable-file-in-python/