Charging my cellphone with a 18V DC source
Solutions 1 and 2 are going to waste most of the power from the solar panel as heat. What you're looking for is called a buck converter and you should easily be able to find one that steps down 10-25V to 5v. 

Something like this would work, it has 4-40V input and adjustable output.