Added some linux (debian) installation notes

Not sure if it's the right place to put these notes but they might be useful.