הטכניון - מכון טכנולוגי לישראל , פקולטה למדעי המחשב , ספריה