ThingsMigrate: Platform‐independent migration of stateful JavaScript Internet of Things applications. (5th December 2020)