Fix indent in fixed_point.h.
Merge branch 'master' of github.com:microdog/pintos-project-1