bugfix in database_tools.py

- get_stations did not return a list ordered by network, then station. Could be a problem if stations are input by hand (not ordered alphabetically in the DB)