Added is_power_of_2.c

[LucaPalumbo]

Added a program to check if a number is a power of 2 with a complexity of O(1);