Push notifs & better workflow

Add push notifications (redis+socket.io)
Fish mining workflow and bugs