cluda/api: converting entered device/platform number to integer. Fixes #11
cluda/api: using input() instead of raw_input() for Py3
doc/history: added notes about interactive bugs