Added print_int syscall and updated README