用Python编写程序，输入一年份，判断该年份是否是闰年并输出结果。