use gcc 4.8 on travis
fix unicode cast

Conflicts:
	src/hotkey/hotkey_item.cpp
cstyle_cast -> static_cast
fix lua stacktraces
make lua require use our filesystem functions

previously only lua dofile did this.