Add the short version of the OSeMOSYS PULP implementation to the GitHub repository.
Add the short version of the OSeMOSYS PULP implementation to the GitHub repository.