javascript: delete Tinkerforge.js