Blitz add getInt() to ColorHolder class.

Needed by Split_View_Figure UI in web, to pass colors as Integers to Split_View_Figure script