Merge pull request #224 from manuel-freire/pixmap-to-polygon

Fixes to border-detection
Renaming dist.xml to dist-multiplatform.xml
Renaming release.json to release-multiplatform.json
Remove unnecesary prefixes (ead2) and give proper names for the generated artifacts
Merge pull request #191 from manuel-freire/text-search

Text search update: index refreshed on game load, incremental search added
Fixing typo in assembly id
Updating release actifacts' version numbering scheme and release artifacts' name scheme. Fixes #201
Including launchers for the multiplatform release
Json-schema for serialized actions and bug reports
Added bugReportURL to release.json
logging actions for bug reporting
Simple test for action serialization
Basic functionality for bug reporting
Fixed additional properties in ReleasePlatformInfo
Renaming ReleasePlatformInfo to UpdatePlatformInfo
Formatting
Merge pull request #232 from imartinezortiz/release-engineering

Updated Release engineering (nightly releases)
Adding an optional checkbox feature to the confirmation dialog for implementing things like "don't show again" and "remember this choice"
Getting the checkbox listener notified when the checbox state changes
Formatting