is_leap_year function

Is some year a so-called leap year?