Fix bug in flymake (missing flymake-float-time)
Added a couple of docker aliases