Fixes #1726.

Replaces intersectSegmentPolygon and intersectLinePolygon "optimized"
implementations with the more robust implementations used for intersectLine and
intersectSegments
added interpolate(...) to vector classes to integrate Interpolation types to vectors
added missing comments
Don't clear selection if the text didn't change.
Don't do the work to clear if the set is empty.
Merge branch 'origin/master'
Use floats instead of ints

Fixes #1748
Add version selection, fix duplicate dependency, remove android dependency
Put box2d lights on snapshot for now, add warning for overwriting directory
Merge pull request #1750 from Tom-Ski/uipatch

Patch for the Setup. Remove android dependency. Add version Options.
1.2 Box2dLights release
Merge pull request #1747 from florianbaethge/master

Added Vector#interpolate(...) method to integrate different Interpolation methods for vectors.
Merge pull request #1751 from Tom-Ski/uipatch

1.2 Box2dLights release
Don't do the work to clear if the map is empty.
Merge branch 'origin/master'
Fixed compilation errors. (wth?)
Notify if build tools and SDK API is not up to date

Formatting consistancy

build tools

Update git ignore
Merge pull request #1755 from Tom-Ski/uipatch

Notify if build tools and SDK API is not up to date
Merge pull request #1746 from manuel-freire/polygon-segment-intersection-fix

Fixes #1726 (precision problems in intersectSegmentPolygon and intersectLinePolygon).
Fix bug in polygon intersections