Added license
Updated picosat for linux x64
Added picosat for linux x86
Added picosat x86 support and updated version