Add file_get_inode() for symmetry with dir_get_inode().
[pintos-anon] / solutions /
drwxr-xr-x   ..
-rw-r--r-- 151 README
-rw-r--r-- 23134 p1.patch
-rw-r--r-- 27717 p2.patch
-rw-r--r-- 57753 p3.patch
-rw-r--r-- 116631 p4.patch