windowManager.js: bit more cleanup regarding opacity
Update global.get_current_time()

https://git.gnome.org/browse/gnome-shell/commit/?id=5566aa45889956b51149a822ff5b9adbcb66ec29